-
1 symbolic model
-
2 symbolic model
The New English-Russian Dictionary of Radio-electronics > symbolic model
-
3 symbolic model
model simbolis -
4 symbolic model
Большой англо-русский и русско-английский словарь > symbolic model
-
5 symbolic model
1) Математика: математическая модель2) Вычислительная техника: символическая модель -
6 symbolic model
English-Russian dictionary of mechanical engineering and automation > symbolic model
-
7 symbolic model
English-Russian dictionary of computer science and programming > symbolic model
-
8 symbolic model
Англо-русский словарь по исследованиям и ноу-хау > symbolic model
-
9 Cadence Symbolic Model Verifier File
File extension: SMVУниверсальный русско-английский словарь > Cadence Symbolic Model Verifier File
-
10 symbolic-form model
English-Russian electronics dictionary > symbolic-form model
-
11 symbolic-form model
The New English-Russian Dictionary of Radio-electronics > symbolic-form model
-
12 model
1) модель (1. упрощённое представление объекта, процесса или явления; структурная аналогия 2. макет 3. образец; эталон; шаблон 4. пример; тип 5. стиль; дизайн) || моделировать (1. создавать упрощённое представление объекта, процесса или явления; пользоваться структурной аналогией 2. макетировать 3. создавать образец, эталон или шаблон 4. пользоваться примером; относить к определённому типу) || модельный (1. относящийся к упрощённому представлению объекта, процесса или явления; использующий структурную аналогию 2. макетный 3. образцовый; эталонный; шаблонный 4. примерный; типовой)2) служить моделью; выполнять функции модели3) создавать по образцу, эталону или шаблону4) придерживаться определённого стиля; следовать выбранному дизайну•- 2-D model
- adaptive expectations model
- additive model of neural network
- analog model
- antenna scale model
- application domain model
- AR model
- ARCH model
- ARDL model
- ARIMA model
- ARMA model
- atmospheric density model
- autoregressive conditional heteroscedastic model
- autoregressive distributed lags model
- autoregressive integrated moving average model
- autoregressive moving average model
- band model
- behavioral model
- Benetton model
- Berkeley short-channel IGFET model
- binary model
- binary choice model
- Bohr-Sommerfeld model
- Bohr-Sommerfeld model of atom
- Box-Jenkins model
- Bradley-Terry-Luce model
- brain-state-in-a-box model
- breadboard model
- Brookings models
- BSB model
- business model
- CAD model
- capability maturity model
- carrier-storage model
- causal model
- censored model
- centralized model
- charge-control model
- Chen model
- classical normal linear regression model
- classical regression model
- client-server model
- CMY model
- CMYK model
- cobweb model
- collective-electron model
- color model
- compact model
- component object model
- computer model
- computer-aided-design model
- conceptual model of hypercompetition
- conceptual data model
- conductor impedance model
- congruent model
- connectionist model
- continuum model
- Cox proportional hazards regression model
- data model
- Davidson-Hendry-Srba-Yeo model
- descriptive model
- design model
- deterministic model
- DHSY model
- discrete choice model
- distributed component object model
- distributed computing model
- distributed lags model
- distributed system object model
- distribution-free model
- document object model
- domain model
- domain architecture model
- duration model
- dynamic model
- EER-model
- energy-gap model
- entity-relationship model
- ER-model
- error correction model
- errors-in-variables model
- experimental model
- extended entity-relationship model
- extended relational model
- extended relational data model
- extensional model
- ferromagnetic Fermi-liquid model
- file level model
- financial model
- finite-population model
- fixed-effects model
- flat Earth model
- flat free model of advertising
- formalized model
- fractal model
- frame model
- fuzzy model
- GARCH model
- generalized autoregressive conditional heteroscedastic model
- generalized linear model
- geometric model
- geometrical lags model
- gross-level model
- ground-environment model
- Haken-Kelso-Bunz model
- Heisenberg model
- heuristic model
- hierarchical data model
- HLS model
- holographic model
- HSB model
- HSV model
- Hubbard model
- huge model
- hybrid-pi model
- hypothesis model
- ideal model
- imaging model
- indexed colors model
- information model
- information-logical model
- intensional model
- intercept-only model
- ionospheric model
- irreversible growth model
- Ising model
- ISO/OSI reference model
- Klein model
- Kronig-Penney model
- L*a*b* model
- large model
- large-signal device model
- LCH model
- learning, induction and schema abstraction model
- life cycle model
- limited dependent variable model
- linear model
- linear probability model
- LISA model
- logical model
- logical-linguistic model
- logistic model
- logit model
- loglinear model
- Londons' model of superconductivity
- lookup-table model
- Lorentz model
- low-signal device model
- machine model
- macrolevel model
- magnetic hysteresis model
- magnetohydrodynamic plasma model
- mathematical model
- matrix-memory model
- medium model
- memory model
- MHD plasma model
- microlevel model
- Minsky model
- Minsky frame model
- mixed model
- molecular-field model
- moving average model
- multiple regression model
- multiplicative model
- nested model
- network model
- network data model
- non-nested model
- non-parametric model
- N-state Potts model
- N-tier model
- null model
- object model
- object data model
- one-dimensional model
- one-fluid plasma model
- operations model
- optimizing model
- parabolic-ionosphere model
- parametric model
- parsimonious model
- partial adjustment model
- phenomenological model
- physical model
- pilot model
- Pippard nonlocal model
- plant model
- Poisson model
- polar model
- polynomial lags model
- postrelational model
- postrelational data model
- Potts model
- predictive model
- Preisach model
- preproduction model
- price model of advertising
- probabilistic model
- probit model
- proportional hazard model
- proportional-odds model
- prototype model
- quadratic model
- qualitative dependent variable model
- quantum mechanical model of superconductivity
- quasi-equilibrium model
- quasi-linear model
- random coefficients model
- random-effects model
- register model
- relational model
- relational data model
- relative model
- representative model
- response-surface model
- RGB model
- Ridley-Watkins-Hilsum model
- rival models
- Rössler model
- RWH model
- saturated model
- scalar model
- SCSI architecture model
- semantic model
- semiotic model
- sharply bounded ionosphere model
- simulation model
- single-ion model
- Skyrme model
- small model
- small-signal device model
- solid model
- spherical Earth model
- state-space model
- statistical model
- stochastic model
- Stoner-Wohlfart model
- structural model
- stuck-at-fault model
- surface model
- symbolic model
- symbolic-form model
- synergetic model
- system model
- system object model
- test model
- thermodynamical model
- three-tier model
- tobit model
- transistor model
- translog model
- tropospheric model
- true model
- truncated model
- two-dimensional model
- two-dimensional regression model
- two-fluid model of superconductivity
- two-fluid plasma model
- two-tier model
- Van der Ziel's noise model
- variable parameter model
- vector model
- wire-frame model
- working model -
13 model
1) модель (1. упрощённое представление объекта, процесса или явления; структурная аналогия 2. макет 3. образец; эталон; шаблон 4. пример; тип 5. стиль; дизайн) || моделировать (1. создавать упрощённое представление объекта, процесса или явления; пользоваться структурной аналогией 2. макетировать 3. создавать образец, эталон или шаблон 4. пользоваться примером; относить к определённому типу) || модельный (1. относящийся к упрощённому представлению объекта, процесса или явления; использующий структурную аналогию 2. макетный 3. образцовый; эталонный; шаблонный 4. примерный; типовой)2) служить моделью; выполнять функции модели3) создавать по образцу, эталону или шаблону4) придерживаться определённого стиля; следовать выбранному дизайну•- 2-D model
- adaptive expectations model
- additive model of neural network
- analog model
- antenna scale model
- application domain model
- AR model
- ARCH model
- ARDL model
- ARIMA model
- ARMA model
- atmospheric density model
- autoregressive conditional heteroscedastic model
- autoregressive distributed lags model
- autoregressive integrated moving average model
- autoregressive model
- autoregressive moving average model
- band model
- behavioral model
- Benetton model
- Berkeley short-channel IGFET model
- binary choice model
- binary model
- Bohr-Sommerfeld model of atom
- Bohr-Sommerfeld model
- Box-Jenkins model
- Bradley-Terry-Luce model
- brain-state-in-a-box model
- breadboard model
- Brookings models
- BSB model
- business model
- CAD model
- capability maturity model
- carrier-storage model
- causal model
- censored model
- centralized model
- charge-control model
- Chen model
- classical normal linear regression model
- classical regression model
- client-server model
- CMY model
- CMYK model
- cobweb model
- collective-electron model
- color model
- compact model
- component object model
- computer model
- computer-aided-design model
- conceptual data model
- conceptual model of hypercompetition
- conductor impedance model
- congruent model
- connectionist model
- continuum model
- Cox proportional hazards regression model
- data model
- Davidson-Hendry-Srba-Yeo model
- descriptive model
- design model
- deterministic model
- DHSY model
- discrete choice model
- distributed component object model
- distributed computing model
- distributed lags model
- distributed system object model
- distribution-free model
- document object model
- domain architecture model
- domain model
- duration model
- dynamic model
- EER-model
- energy-gap model
- entity-relationship model
- ER-model
- error correction model
- errors-in-variables model
- experimental model
- extended entity-relationship model
- extended relational data model
- extended relational model
- extensional model
- ferromagnetic Fermi-liquid model
- file level model
- financial model
- finite-population model
- fixed-effects model
- flat Earth model
- flat free model of advertising
- formalized model
- fractal model
- frame model
- fuzzy model
- GARCH model
- generalized autoregressive conditional heteroscedastic model
- generalized linear model
- geometric model
- geometrical lags model
- gross-level model
- ground-environment model
- Haken-Kelso-Bunz model
- Heisenberg model
- heuristic model
- hierarchical data model
- HLS model
- holographic model
- HSB model
- HSV model
- Hubbard model
- huge model
- hybrid-pi model
- hypothesis model
- ideal model
- imaging model
- indexed colors model
- information model
- information-logical model
- intensional model
- intercept-only model
- ionospheric model
- irreversible growth model
- Ising model
- ISO/OSI reference model
- Klein model
- Kronig-Penney model
- L*a*b* model
- large model
- large-signal device model
- LCH model
- learning, induction and schema abstraction model
- life cycle model
- limited dependent variable model
- linear model
- linear probability model
- LISA model
- logical model
- logical-linguistic model
- logistic model
- logit model
- loglinear model
- Londons' model of superconductivity
- lookup-table model
- Lorentz model
- low-signal device model
- machine model
- macrolevel model
- magnetic hysteresis model
- magnetohydrodynamic plasma model
- mathematical model
- matrix-memory model
- medium model
- memory model
- MHD plasma model
- microlevel model
- Minsky frame model
- Minsky model
- mixed model
- molecular-field model
- moving average model
- multiple regression model
- multiplicative model
- nested model
- network data model
- network model
- non-nested model
- non-parametric model
- N-state Potts model
- N-tier model
- null model
- object data model
- object model
- one-dimensional model
- one-fluid plasma model
- operations model
- optimizing model
- parabolic-ionosphere model
- parametric model
- parsimonious model
- partial adjustment model
- phenomenological model
- physical model
- pilot model
- Pippard nonlocal model
- plant model
- Poisson model
- polar model
- polynomial lags model
- postrelational data model
- postrelational model
- Potts model
- predictive model
- Preisach model
- preproduction model
- price model of advertising
- probabilistic model
- probit model
- proportional hazard model
- proportional-odds model
- prototype model
- quadratic model
- qualitative dependent variable model
- quantum mechanical model of superconductivity
- quasi-equilibrium model
- quasi-linear model
- random coefficients model
- random-effects model
- register model
- relational data model
- relational model
- relative model
- representative model
- response-surface model
- RGB model
- Ridley-Watkins-Hilsum model
- rival models
- Rössler model
- RWH model
- saturated model
- scalar model
- SCSI architecture model
- semantic model
- semiotic model
- sharply bounded ionosphere model
- simulation model
- single-ion model
- Skyrme model
- small model
- small-signal device model
- solid model
- spherical Earth model
- state-space model
- statistical model
- stochastic model
- Stoner-Wohlfart model
- structural model
- stuck-at-fault model
- surface model
- symbolic model
- symbolic-form model
- synergetic model
- system model
- system object model
- test model
- thermodynamical model
- three-tier model
- tobit model
- transistor model
- translog model
- tropospheric model
- true model
- truncated model
- two-dimensional model
- two-dimensional regression model
- two-fluid model of superconductivity
- two-fluid plasma model
- two-tier model
- Van der Ziel's noise model
- variable parameter model
- vector model
- wire-frame model
- working modelThe New English-Russian Dictionary of Radio-electronics > model
-
14 model
1) модель; макет; образец; эталон || моделировать; изготавливать по образцу или эталону || образцовый; эталонный2) форма || придавать форму3) фасонного сечения (напр. о металле)•- 3-D model
- 3-D wireframe model
- algorithm model
- analog model
- animation model
- as-machined model
- autoregressive model
- behavioral model
- brand-new model
- CAD model
- CAD solid model
- cammed model
- causal model
- CGS model
- client-server model
- CN model
- component connection model
- computational model
- computer model
- conceptual model
- control model
- data model
- development models
- dexel model
- diagnosis model
- diagnostic model
- die model
- discrete parts manufacturing model
- disturbance model
- ER model
- error model of a machine
- error model of a single axis
- experimental model
- feature-based CAD model
- feature-based model
- finite-dimensional model
- flexible manufacturing model
- FMS model
- force deflection model
- freeform computer model
- full-scale model
- generalized model
- generic action model
- generic activity model
- generic model
- hierarchic data model
- hierarchical data model
- hierarchical model
- hierarchically structured model
- horizontal model
- infinite-dimensional model
- information-logical model
- kinetic laser anneal model
- language model
- large-scale model
- learning model
- life-size model
- life-sized model
- log normal model
- master model
- mathematical surface model
- meaning $ text model
- network model
- observation model
- orthogonal flute model
- OSI model
- parallel computational model
- parameter-oriented model
- Petri model
- PN model
- polyhedral model
- principal model
- process-message model
- product model
- profile model
- qualitative model
- quantitative model
- queueing model
- R and D model
- reference model
- relation model
- relational model
- repair model
- representative model
- reverse engineer model
- scale model
- scaled-down model
- scaled-up model
- sculptured surface model
- semantic model
- shop floor model
- shop floor production model
- signal model
- simulated model
- simulation model
- software model
- solid model
- solids model
- stochastic model
- structural model
- surface model
- surfaced CAD model
- symbolic model
- task-specific model
- technological model
- test model
- time-series model
- tool animation model
- top-of-the-line model
- topological model
- tracking model
- transaction model of AGVs
- true-volume model
- underconstrained model
- undimensioned model
- unifying model
- vertical model
- vibration model
- volumetric error model
- wholistic model
- wire-frame model
- working model
- world modelEnglish-Russian dictionary of mechanical engineering and automation > model
-
15 model
1) модель; модификация2) модель (образец; уменьшенная, упрощенная копия)3) модель (абстрактная схема; концепция)•- access control model
- adaptive model
- aggregated model
- algoristic-type model
- allocation model
- analytical model
- ANOVA model
- behavioral model
- birth-death model
- block-diagram model - capability maturity model
- cascade-based model
- causal model
- client/server model
- client-component model
- client-server model
- cognitive model
- computer model
- conceptual model
- controllable model
- correlative model
- cost estimation model
- crude model
- cybernetic model
- data model
- decision-theoretic model
- decision-tree model
- descriptive model
- design model
- desk model
- deterministic model - domain semantic model
- dynamic programming model
- E/R model
- econometric model
- elaborate model
- elemental-equivalent model
- entity set model
- entity-relationship model
- equilibrium model
- estimation model
- exhaustive fault model
- exogenous priority model
- external model
- fault model
- fault-effect model
- finite element model
- fixed cascade delay model
- fixed gate delay model
- flow-oriented model
- forecasting model
- formal model
- frame-based model
- functional model
- gaming model
- gate-based model
- gate-level model
- generalized model
- generic model
- geometrical model
- graph model
- hardware model
- hazard function model
- hazard model
- heuristic model
- hierarchical model
- iconographic model
- internal model
- layout model
- level-based model
- linear programming model
- linear word-level model
- many-server model
- mental model
- MILP model
- model of calculation
- model of knowledge
- Monte-Carlo model
- multiple model
- multivariate model
- network model
- object model
- object-centric model
- OSI reference model
- pandemonium model
- performance-based model
- phenomenological model
- pictorial model
- pilot model
- pin fault model
- predictive model
- preemptive model
- preliminary model
- preproduction model
- priority model
- probabilistic model
- problem model - quantitative model
- queueing model
- real world model
- relational model
- relative model
- reliability model
- role-playing model
- scaling model
- scheduling model
- security model
- semi-Markov model
- seven-layer model
- shaded model
- simplified model
- simulation model
- single-stuck fault model
- singular model
- software model
- solid model
- sophisticated model
- state-space model
- statistical model
- stochastic model
- stream of characters model
- structural model
- stuck-at model
- suspect/monitor model
- symbolic model
- table model
- task-network model
- timing model
- transformational model
- typewriter model
- vocal-tract model
- waiting line model
- waterfall model
- wire-frame model
- word-level model
- world modelEnglish-Russian dictionary of computer science and programming > model
-
16 model
1) модель; образец || моделировать; создавать по образцу3) метал. шаблон4) метал. реплика5) слепок; лепнина || лепить6) форма || формовать•-
abstract model
-
advection model
-
ageostrophic model
-
analog model
-
analytical model
-
atmospheric dispersion model
-
atomic model
-
band model
-
barotropic model
-
behavioral model
-
biochemical cycling model
-
bottom-end model
-
bowl model
-
Bragg bubble model
-
breadboard model
-
bulk-freezing model
-
cammed model
-
car model
-
channel operation model
-
cognitive model
-
computational model
-
computation model
-
computer model
-
conceptual model
-
console model
-
consulting model
-
coupled air/ocean model
-
damage model
-
data model
-
dead-reckoned model
-
decoupled model
-
deformation model
-
descriptive model
-
design model
-
deterministic model
-
device model
-
directional numerical model
-
discrete model
-
dislocation model of twinning
-
dynamic model
-
dynamical electrical cloud model
-
electric model
-
energy supply model
-
energy-balance model
-
entry-level model
-
equilibrium slip model
-
experimental model
-
external-reference model
-
fault model
-
fine-mesh model
-
finite element model
-
fixed-bed model
-
flat Earth model
-
FMS model
-
frozen state model
-
full-scale model
-
functional model
-
general circulation model
-
geochemical cycling model
-
geostatistical orebody model
-
graphics model
-
graphic model
-
gross-level model
-
group model
-
heuristic model
-
high-end model
-
highly parameterized model
-
homogeneous equilibrium model
-
horizontal model
-
hydraulic scale model
-
hydrological cycling model
-
hypothesize model
-
image model
-
inviscid atmospheric model
-
ionospheric model
-
irregular-grid model
-
jazz model
-
large-scale model
-
large-signal device model
-
Leontief's model
-
Leontief model
-
limited-area model
-
linear model
-
linearized model
-
long-range transport model
-
low-end model
-
low-volume model
-
lucky-electron model
-
macrolevel model
-
master die model
-
master model
-
mathematical model
-
mesogrid model
-
meteorologically validated model
-
microlevel model
-
mine model
-
model of computation
-
movable nested-mesh model
-
multiasperity model
-
n-equation flow model
-
nested-mesh model
-
network model
-
noise model
-
orthogonal flute model
-
photoelastic model
-
pilot model
-
plotting model
-
point model
-
prediction model
-
predictive model
-
preproduction model
-
primitive equation model
-
probabilistic model
-
probability model
-
projective model
-
propagation model
-
prototype model
-
quasi-linear model
-
quasi-solenoidal model
-
radiative-convective model
-
rain-out model
-
reference model
-
relational model
-
relative model
-
reliability model
-
research model
-
river-basin simulation model
-
sampled-data model
-
scaled model
-
scale model
-
sediment movement model
-
self-correcting model
-
semiscale model
-
simulation model
-
skeleton model
-
slip model
-
small-signal device model
-
software model
-
space-independent model
-
spectral model
-
spectral transform model
-
spherical Earth model
-
stability model
-
state-space model
-
statistical model
-
steady-state model
-
stochastic model
-
stochastic sequential model
-
subsynoptic model
-
symbolic-form model
-
table model
-
test model
-
thermal model
-
time-averaged model
-
time-invariant model
-
time-varying model
-
traffic model
-
transistor model
-
tribometric model
-
two-dimensional model
-
two-fluid model
-
urn model
-
vertical model
-
vertically exaggerated model
-
water allocation model
-
water management model
-
water system operation model
-
wave spectral model
-
weather-dependent yield model
-
wire model
-
wireframe model
-
world model -
17 symbolic representation
Синонимический ряд:formula (noun) chemical formula; empirical formula; equation; formula; graphic formula; logarithm; ratio; recipe; theorem -
18 model airplane
attack airplane — самолет — штурмовик
-
19 symbolic-form model
Большой англо-русский и русско-английский словарь > symbolic-form model
-
20 symbolic-form model
Англо-русский словарь технических терминов > symbolic-form model
Страницы
См. также в других словарях:
Symbolic Model Verifier — Der SMV (Symbolic Model Verifier) ist ein Werkzeug zur Modellprüfung (engl. Model Checking). Dieser Model Checker prüft endliche Zustandsautomaten (engl. Finite State Machines) mit der temporalen Logik CTL. Inhaltsverzeichnis 1 Technologie 1.1… … Deutsch Wikipedia
Symbolic Trajectory Evaluation — (STE) is a lattice based model checking technology that uses a form of symbolic simulation. STE is essentially used for computer hardware, that is circuit verification. The technique uses abstraction, meaning that details of the circuit behaviour … Wikipedia
Model Checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Model checking — This article is about checking of models in computer science. For the checking of models in statistics, see regression model validation. In computer science, model checking refers to the following problem: Given a model of a system, test… … Wikipedia
Model checking — Le Model Checking désigne une famille de techniques de vérification automatique des systèmes dynamiques (souvent d origine informatique ou électronique). Il s agit de vérifier algorithmiquement si un modèle donné, le système lui même ou une… … Wikipédia en Français
Model-based testing — is the application of Model based design for designing and optionally executing the necessary artifacts to perform software testing. Models can be used to represent the desired behavior of the System Under Test (SUT), or to represent the desired… … Wikipedia
Symbolic computation — Symbolic computation, algebraic computation, or, less commonly, symbolic manipulation, symbolic processing, symbolic mathematics, or symbolic algebra, relates to the use of machines, such as computers, to manipulate mathematical equations and… … Wikipedia
Symbolic logic — is the area of mathematics which studies the purely formal properties of strings of symbols. The interest in this area springs from two sources. First, the symbols used in symbolic logic can be seen as representing the words used in philosophical … Wikipedia
model — by Gary Genosko Baudrillard s thinking about models had two distinct phases. The first belonged to the period of The System of Objects (1996a [1968]) in which he worked through the difference between models and series; the second emerged in… … The Baudrillard dictionary
Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… … Wikipedia
Minimal model (set theory) — In set theory, a minimal model is a minimal standard model of ZFC. Minimal models were introduced by (Shepherdson 1951, 1952, 1953). The existence of a minimal model cannot be proved in ZFC, even assuming that ZFC is consistent, but follows… … Wikipedia
